#modifier record #name(#mod1 #type1 #field1, ...
                       #modN #typeN #fieldN) {
   #bodydeclarations 
}

#modifier #(static when inner-record) final class #name extends java.lang.Record {
   private final #mod1 #type1 #fieldn; 
   ...
   private final #mod1 #typeN #fieldN; 

   public #type1 #name1() { return #name1;} ...
   public #typeN #nameN() { return #nameN;}

   #bodydeclarations 
 
   //# if equals(Object) \not\in #bodydeclaration 
   public final boolean equals(Object o) {
      if(o instanceOf #name n) {
        return java.lang.Objects.equals(#name1, n.#name1) && ... && 
                 java.lang.Objects.equals(#nameN, n.#nameN); 
   }

   //# if hashCode() \not\in #bodydeclaration 
   public final int hashCode() {
      return java.lang.Objects.hash(#name1, ..., #nameN);
   }

   //# if toString() \not\in #bodydeclaration 
   public final String toString() {
      return #name + "["+ 
         ("#name1:" + #name1+",") + ... +
         ("#nameN:" + #nameN+",") + "]";
   }
}